Optimal. Leaf size=417 \[ -\frac{\left (3 A \left (-10 \sqrt{a} c d e+7 a \sqrt{c} e^2+4 c^{3/2} d^2\right )+a B e \left (2 \sqrt{c} d-5 \sqrt{a} e\right )\right ) \tanh ^{-1}\left (\frac{\sqrt [4]{c} \sqrt{d+e x}}{\sqrt{\sqrt{c} d-\sqrt{a} e}}\right )}{32 a^{5/2} c^{3/4} \left (\sqrt{c} d-\sqrt{a} e\right )^{5/2}}+\frac{\left (3 A \left (10 \sqrt{a} c d e+7 a \sqrt{c} e^2+4 c^{3/2} d^2\right )+a B e \left (5 \sqrt{a} e+2 \sqrt{c} d\right )\right ) \tanh ^{-1}\left (\frac{\sqrt [4]{c} \sqrt{d+e x}}{\sqrt{\sqrt{a} e+\sqrt{c} d}}\right )}{32 a^{5/2} c^{3/4} \left (\sqrt{a} e+\sqrt{c} d\right )^{5/2}}-\frac{\sqrt{d+e x} \left (a e \left (-7 a A e^2+6 a B d e+A c d^2\right )-x \left (6 A c d \left (c d^2-2 a e^2\right )+a B e \left (5 a e^2+c d^2\right )\right )\right )}{16 a^2 \left (a-c x^2\right ) \left (c d^2-a e^2\right )^2}+\frac{\sqrt{d+e x} (x (A c d-a B e)+a (B d-A e))}{4 a \left (a-c x^2\right )^2 \left (c d^2-a e^2\right )} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.925666, antiderivative size = 417, normalized size of antiderivative = 1., number of steps used = 6, number of rules used = 4, integrand size = 25, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.16, Rules used = {823, 827, 1166, 208} \[ -\frac{\left (3 A \left (-10 \sqrt{a} c d e+7 a \sqrt{c} e^2+4 c^{3/2} d^2\right )+a B e \left (2 \sqrt{c} d-5 \sqrt{a} e\right )\right ) \tanh ^{-1}\left (\frac{\sqrt [4]{c} \sqrt{d+e x}}{\sqrt{\sqrt{c} d-\sqrt{a} e}}\right )}{32 a^{5/2} c^{3/4} \left (\sqrt{c} d-\sqrt{a} e\right )^{5/2}}+\frac{\left (3 A \left (10 \sqrt{a} c d e+7 a \sqrt{c} e^2+4 c^{3/2} d^2\right )+a B e \left (5 \sqrt{a} e+2 \sqrt{c} d\right )\right ) \tanh ^{-1}\left (\frac{\sqrt [4]{c} \sqrt{d+e x}}{\sqrt{\sqrt{a} e+\sqrt{c} d}}\right )}{32 a^{5/2} c^{3/4} \left (\sqrt{a} e+\sqrt{c} d\right )^{5/2}}-\frac{\sqrt{d+e x} \left (a e \left (-7 a A e^2+6 a B d e+A c d^2\right )-x \left (6 A c d \left (c d^2-2 a e^2\right )+a B e \left (5 a e^2+c d^2\right )\right )\right )}{16 a^2 \left (a-c x^2\right ) \left (c d^2-a e^2\right )^2}+\frac{\sqrt{d+e x} (x (A c d-a B e)+a (B d-A e))}{4 a \left (a-c x^2\right )^2 \left (c d^2-a e^2\right )} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 823
Rule 827
Rule 1166
Rule 208
Rubi steps
\begin{align*} \int \frac{A+B x}{\sqrt{d+e x} \left (a-c x^2\right )^3} \, dx &=\frac{\sqrt{d+e x} (a (B d-A e)+(A c d-a B e) x)}{4 a \left (c d^2-a e^2\right ) \left (a-c x^2\right )^2}-\frac{\int \frac{-\frac{1}{2} c \left (6 A c d^2+a B d e-7 a A e^2\right )-\frac{5}{2} c e (A c d-a B e) x}{\sqrt{d+e x} \left (a-c x^2\right )^2} \, dx}{4 a c \left (c d^2-a e^2\right )}\\ &=\frac{\sqrt{d+e x} (a (B d-A e)+(A c d-a B e) x)}{4 a \left (c d^2-a e^2\right ) \left (a-c x^2\right )^2}-\frac{\sqrt{d+e x} \left (a e \left (A c d^2+6 a B d e-7 a A e^2\right )-\left (6 A c d \left (c d^2-2 a e^2\right )+a B e \left (c d^2+5 a e^2\right )\right ) x\right )}{16 a^2 \left (c d^2-a e^2\right )^2 \left (a-c x^2\right )}+\frac{\int \frac{\frac{1}{4} c^2 \left (2 a B d e \left (c d^2-4 a e^2\right )+3 A \left (4 c^2 d^4-9 a c d^2 e^2+7 a^2 e^4\right )\right )+\frac{1}{4} c^2 e \left (6 A c d \left (c d^2-2 a e^2\right )+a B e \left (c d^2+5 a e^2\right )\right ) x}{\sqrt{d+e x} \left (a-c x^2\right )} \, dx}{8 a^2 c^2 \left (c d^2-a e^2\right )^2}\\ &=\frac{\sqrt{d+e x} (a (B d-A e)+(A c d-a B e) x)}{4 a \left (c d^2-a e^2\right ) \left (a-c x^2\right )^2}-\frac{\sqrt{d+e x} \left (a e \left (A c d^2+6 a B d e-7 a A e^2\right )-\left (6 A c d \left (c d^2-2 a e^2\right )+a B e \left (c d^2+5 a e^2\right )\right ) x\right )}{16 a^2 \left (c d^2-a e^2\right )^2 \left (a-c x^2\right )}+\frac{\operatorname{Subst}\left (\int \frac{-\frac{1}{4} c^2 d e \left (6 A c d \left (c d^2-2 a e^2\right )+a B e \left (c d^2+5 a e^2\right )\right )+\frac{1}{4} c^2 e \left (2 a B d e \left (c d^2-4 a e^2\right )+3 A \left (4 c^2 d^4-9 a c d^2 e^2+7 a^2 e^4\right )\right )+\frac{1}{4} c^2 e \left (6 A c d \left (c d^2-2 a e^2\right )+a B e \left (c d^2+5 a e^2\right )\right ) x^2}{-c d^2+a e^2+2 c d x^2-c x^4} \, dx,x,\sqrt{d+e x}\right )}{4 a^2 c^2 \left (c d^2-a e^2\right )^2}\\ &=\frac{\sqrt{d+e x} (a (B d-A e)+(A c d-a B e) x)}{4 a \left (c d^2-a e^2\right ) \left (a-c x^2\right )^2}-\frac{\sqrt{d+e x} \left (a e \left (A c d^2+6 a B d e-7 a A e^2\right )-\left (6 A c d \left (c d^2-2 a e^2\right )+a B e \left (c d^2+5 a e^2\right )\right ) x\right )}{16 a^2 \left (c d^2-a e^2\right )^2 \left (a-c x^2\right )}-\frac{\left (a B e \left (2 \sqrt{c} d-5 \sqrt{a} e\right )+3 A \left (4 c^{3/2} d^2-10 \sqrt{a} c d e+7 a \sqrt{c} e^2\right )\right ) \operatorname{Subst}\left (\int \frac{1}{c d-\sqrt{a} \sqrt{c} e-c x^2} \, dx,x,\sqrt{d+e x}\right )}{32 a^{5/2} \left (\sqrt{c} d-\sqrt{a} e\right )^2}+\frac{\left (a B e \left (2 \sqrt{c} d+5 \sqrt{a} e\right )+3 A \left (4 c^{3/2} d^2+10 \sqrt{a} c d e+7 a \sqrt{c} e^2\right )\right ) \operatorname{Subst}\left (\int \frac{1}{c d+\sqrt{a} \sqrt{c} e-c x^2} \, dx,x,\sqrt{d+e x}\right )}{32 a^{5/2} \left (\sqrt{c} d+\sqrt{a} e\right )^2}\\ &=\frac{\sqrt{d+e x} (a (B d-A e)+(A c d-a B e) x)}{4 a \left (c d^2-a e^2\right ) \left (a-c x^2\right )^2}-\frac{\sqrt{d+e x} \left (a e \left (A c d^2+6 a B d e-7 a A e^2\right )-\left (6 A c d \left (c d^2-2 a e^2\right )+a B e \left (c d^2+5 a e^2\right )\right ) x\right )}{16 a^2 \left (c d^2-a e^2\right )^2 \left (a-c x^2\right )}-\frac{\left (a B e \left (2 \sqrt{c} d-5 \sqrt{a} e\right )+3 A \left (4 c^{3/2} d^2-10 \sqrt{a} c d e+7 a \sqrt{c} e^2\right )\right ) \tanh ^{-1}\left (\frac{\sqrt [4]{c} \sqrt{d+e x}}{\sqrt{\sqrt{c} d-\sqrt{a} e}}\right )}{32 a^{5/2} c^{3/4} \left (\sqrt{c} d-\sqrt{a} e\right )^{5/2}}+\frac{\left (a B e \left (2 \sqrt{c} d+5 \sqrt{a} e\right )+3 A \left (4 c^{3/2} d^2+10 \sqrt{a} c d e+7 a \sqrt{c} e^2\right )\right ) \tanh ^{-1}\left (\frac{\sqrt [4]{c} \sqrt{d+e x}}{\sqrt{\sqrt{c} d+\sqrt{a} e}}\right )}{32 a^{5/2} c^{3/4} \left (\sqrt{c} d+\sqrt{a} e\right )^{5/2}}\\ \end{align*}
Mathematica [A] time = 1.14865, size = 536, normalized size = 1.29 \[ \frac{\frac{c^2 \sqrt{d+e x} \left (a^2 e^2 (7 A e-6 B d+5 B e x)+a c d e (B d x-A (d+12 e x))+6 A c^2 d^3 x\right )}{2 \left (a-c x^2\right )}+\frac{c^{7/4} \left (3 A \left (7 a^2 e^4-5 a c d^2 e^2+2 c^2 d^4\right )+a B d e \left (c d^2-13 a e^2\right )\right ) \left (\sqrt{\sqrt{c} d-\sqrt{a} e} \tanh ^{-1}\left (\frac{\sqrt [4]{c} \sqrt{d+e x}}{\sqrt{\sqrt{a} e+\sqrt{c} d}}\right )-\sqrt{\sqrt{a} e+\sqrt{c} d} \tanh ^{-1}\left (\frac{\sqrt [4]{c} \sqrt{d+e x}}{\sqrt{\sqrt{c} d-\sqrt{a} e}}\right )\right )}{4 \sqrt{a} \sqrt{\sqrt{c} d-\sqrt{a} e} \sqrt{\sqrt{a} e+\sqrt{c} d}}+\frac{2 a c^2 \sqrt{d+e x} \left (c d^2-a e^2\right ) (-a A e+a B (d-e x)+A c d x)}{\left (a-c x^2\right )^2}-\frac{c^{5/4} \left (6 A c d \left (c d^2-2 a e^2\right )+a B e \left (5 a e^2+c d^2\right )\right ) \left (\sqrt{\sqrt{c} d-\sqrt{a} e} \tanh ^{-1}\left (\frac{\sqrt [4]{c} \sqrt{d+e x}}{\sqrt{\sqrt{c} d-\sqrt{a} e}}\right )-\sqrt{\sqrt{a} e+\sqrt{c} d} \tanh ^{-1}\left (\frac{\sqrt [4]{c} \sqrt{d+e x}}{\sqrt{\sqrt{a} e+\sqrt{c} d}}\right )\right )}{4 \sqrt{a}}}{8 a^2 c^2 \left (c d^2-a e^2\right )^2} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.115, size = 1778, normalized size = 4.3 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} -\int \frac{B x + A}{{\left (c x^{2} - a\right )}^{3} \sqrt{e x + d}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]